Is Leibnizian Calculus Embeddable in First Order Logic?
نویسندگان
چکیده
منابع مشابه
The Resolution Calculus for First-Order Logic
This theory is a formalization of the resolution calculus for firstorder logic. It is proven sound and complete. The soundness proof uses the substitution lemma, which shows a correspondence between substitutions and updates to an environment. The completeness proof uses semantic trees, i.e. trees whose paths are partial Herbrand interpretations. It employs Herbrand’s theorem in a formulation w...
متن کاملClones and Genoids in Lambda Calculus and First Order Logic
A genoid is a category of two objects such that one is the product of itself with the other. A genoid may be viewed as an abstract substitution algebra. It is a remarkable fact that such a simple concept can be applied to present a unified algebraic approach to lambda calculus and first order logic. Content : 0. Introduction. 1. Genoids. 2. Clones. 3. Binding Algebras 4. Lambda Calculus. 5. Fir...
متن کاملA Tableau Calculus for First-Order Branching Time Logic
Tableau based proof systems have been designed for many logics extending classical rst order logic This paper proposes a sound tableau calculus for temporal logics of the rst order CTL family Until now a tableau calculus has only been presented for the propositional version of CTL The calculus considered operates with pre xed formulas and may be regarded as an instance of a labelled deductive s...
متن کاملA Multiple-Conclusion Calculus for First-Order Gödel Logic
We present a multiple-conclusion hypersequent system for the standard first-order Gödel logic. We provide a constructive, direct, and simple proof of the completeness of the cut-free part of this system, thereby proving both completeness for its standard semantics, and the admissibility of the cut rule in the full system. The results also apply to derivations from assumptions (or “non-logical a...
متن کاملA (leibnizian) Theory and Calculus of Concepts
In the eyes of many philosophers, Leibniz established his credentials as a clear and logically precise thinker by having invented the diieren-tial and integral calculus. However, Leibniz's philosophical views about concepts, monads, possible objects, and the containment theory of truth are not often regarded as similar models of clarity and precision. At best, philosophers might agree that Leib...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Science
سال: 2016
ISSN: 1233-1821,1572-8471
DOI: 10.1007/s10699-016-9495-6